Strategic Reasoning: Building Cognitive Models from Logical Formulas
نویسندگان
چکیده
منابع مشابه
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models
This article provides a three-way interaction between experiments, logic and cognitive modelling so as to bring out a shared perspective among these diverse areas, aiming towards better understanding and better modelling of human strategic reasoning in dynamic games.
متن کاملTransferable Strategic Meta-reasoning Models
OF THE DISSERTATION TRANSFERABLE STRATEGIC META-REASONING MODELS by MICHAEL WUNDER Dissertation Director: Matthew Stone How do strategic agents make decisions? For the first time, a confluence of advances in agent design, formation of massive online data sets of social behavior, and computational techniques have allowed for researchers to construct and learn much richer models than before. My c...
متن کاملDerivatives of Logical Formulas
We formalize new decision procedures for WS1S, M2L(Str), and Presburger Arithmetics. Formulas of these logics denote regular languages. Unlike traditional decision procedures, we do not translate formulas into automata (nor into regular expressions), at least not explicitly. Instead we devise notions of derivatives (inspired by Brzozowski derivatives for regular expressions) that operate on for...
متن کاملLogical reasoning
In the psychological literature on reasoning it has always been assumed that if there is such a thing as mental logic, it must be a set of inference rules. This proof-theoretic conception of mental logic is compatible with but doesn’t do justice to what, according to most logicians, logic is about. Thus, the ongoing debate over mental logic is based on a too narrow notion of logic. Adopting the...
متن کاملAlgorithms for Learning Logical Formulas
We present here a learning technique which is both s ta t i s t i c and syntactic, by using simultaneously logical operators and counting procedures. I ts modular structure makes it usable for creating the necessary redundancy for control l ing the generalization of the formulas.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2014
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-014-9196-x